/**
 * Copyright (c) 2010 The Plaid Group (see AUTHORS file)
 * 
 * This file is part of Plaid Programming Language.
 *
 * Plaid Programming Language is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 * 
 *  Plaid Programming Language is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with Plaid Programming Language.  If not, see <http://www.gnu.org/licenses/>.
 */

package plaid.runtime;

public interface  PlaidRuntimeState {
	enum RUNTIME_STATE {
		UNINITIALIZED,
		RUNNING,
		STOPPED
	}

	public RUNTIME_STATE getRuntimeState();
	
	public void setRuntimeState(RUNTIME_STATE state);
		
	public void updateLocation(String filename, int line, int column);

	public void updateVar(String name, Object o);

	public void enterCall(PlaidObject this$plaid, String name);

	public void leaveCall(PlaidObject this$plaid, String name);

	public String getCurrentFilename();

	public int getCurrentLine();

	public int getCurrentColumn();

}
